" Martin Henson" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Dines Bjorner, Martin C. Henson

5.36 Mb

#2

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Helen Treharne, Steve King, Martin Henson, Steve Schneider

6.90 Mb

#3

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

3.54 Mb